Constraint Projection: An Efficient Treatment of Disjunctive Feature Descriptions
نویسنده
چکیده
Unification of disjunctive feature descriptions is important for efficient unification-based parsing. This paper presents constraint projection, a new method for unification of disjunctive feature structures represented by logical constraints. Constraint projection is a generalization of constraint unification, and is more efficient because constraint projection has a mechanism for abandoning information irrelevant to a goal specified by a list of variables.
منابع مشابه
Domain-Specific Language Design Requires Feature Descriptions
In this paper, we study feature diagrams in more details, as well as their relationship to domain-specific languages. We propose the Feature Description Language FDL , a textual language to describe features. We explore automated manipulation of feature descriptions such as normalization, expansion to disjunctive normal form, variability computation and constraint satisfaction. Feature descript...
متن کاملDisjunctive Unification
This paper describes techniques for the representation and efficient unification of feature structures in the presence of disjunctive information. For the specification of feature structures we introduce feature terms which may contain sorts, variables, negation and named disjunction. Disjunction names allow for a compact representation and efficient management of multiple solutions even in cas...
متن کاملUnification of Disjunctive Feature Descriptions
The paper describes a new implementation of feature structures containing disjunctive values, which can be characterized by the following main points: Local representation of embedded disjunctions, avoidance of expansion to disjunctive normal form and of repeated test-unifications for checking consistence. The method is based on a modification of Kasper and Rounds' calculus of feature descripti...
متن کاملA Unification Method for Disjunctive Feature Descriptions
Although disjunction has been used in several unificationbased grammar formalisms, existing methods of unification have been unsatisfactory for descriptions containing large quantities of disjunction, because they require exponential time. This paper describes a method of unification by successive approximation, resulting in better average performance. 1 I n t r o d u c t i o n Disjunction has ...
متن کاملDPML-Risk: An Efficient Algorithm for Image Registration
Targets and objects registration and tracking in a sequence of images play an important role in various areas. One of the methods in image registration is feature-based algorithm which is accomplished in two steps. The first step includes finding features of sensed and reference images. In this step, a scale space is used to reduce the sensitivity of detected features to the scale changes. Afterw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991